Pang Xiao-Feng's Documents

Pang Xiao-Feng's Documents

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
Optimization and control with applications

Optimization and control with applications
Read more
NMR Logging Principles and Applications

NMR Logging Principles and Applications
Read more
Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings (Communications in Computer and Information Science)

Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings (Communications in Computer and Information Science)
Read more
Electrochemical Impedance Spectrocopy in PEM Fuel Cells

Electrochemical Impedance Spectrocopy in PEM Fuel Cells
Read more
Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II

Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
Read more
Spheroidal wave functions in electromagnetic theory

Spheroidal wave functions in electromagnetic theory
Read more
Handbook of Markov Chain Monte Carlo

Handbook of Markov Chain Monte Carlo
Read more
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings (Lecture Notes in Computer Science)

Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings (Lecture Notes in Computer Science)
Read more
Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I

Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I
Read more
Clear water, blue skies: China's environment in the new century

Clear water, blue skies: China's environment in the new century
Read more
Proceedings of the 6th Asian Logic Conference: Beijing, China, 20-24 May 1996

Proceedings of the 6th Asian Logic Conference: Beijing, China, 20-24 May 1996
Read more
Advanced Thermodynamics for Engineers

Advanced Thermodynamics for Engineers
Read more
Advanced Thermodynamics for Engineers

Advanced Thermodynamics for Engineers
Read more
Advanced thermodynamics for engineers

Advanced thermodynamics for engineers
Read more
Measuring Internal Auditing’s Value

Measuring Internal Auditing’s Value
Read more
Advances in Natural Computation, 2 conf., ICNC 2006

Advances in Natural Computation, 2 conf., ICNC 2006
Read more
Markovian Demand Inventory Models (International Series in Operations Research & Management Science)

Markovian Demand Inventory Models (International Series in Operations Research & Management Science)
Read more
Advanced thermodynamics for engineers

Advanced thermodynamics for engineers
Read more
Advanced Thermodynamics for Engineers

Advanced Thermodynamics for Engineers
Read more
Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers

Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers
Read more
Web Information Systems - WISE 2006 Workshops: WISE 2006 International Workshops, Wuhan, China, October 23-26, 2006, Proceedings

Web Information Systems - WISE 2006 Workshops: WISE 2006 International Workshops, Wuhan, China, October 23-26, 2006, Proceedings
Read more
近世代数三百题 (300 Problems in Abstract Algebras)

近世代数三百题 (300 Problems in Abstract Algebras)
Read more
Advances in Natural Computation, 2 conf., ICNC 2006

Advances in Natural Computation, 2 conf., ICNC 2006
Read more
Analog Circuit Design Techniques at 0.5V (Analog Circuits and Signal Processing)

Analog Circuit Design Techniques at 0.5V (Analog Circuits and Signal Processing)
Read more
Surveillance (A Special Issue of Social Text)

Surveillance (A Special Issue of Social Text)
Read more
Intelligent Diagnosis and Prognosis of Industrial Networked Systems (Automation and Control Engineering)

Intelligent Diagnosis and Prognosis of Industrial Networked Systems (Automation and Control Engineering)
Read more
Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 19Author: Joan S Birman; Jane Gilman; William W Menasco; Xiao-son

Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 19Author: Joan S Birman; Jane Gilman; William W Menasco; Xiao-son
Read more
Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings

Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
Read more
A Minicourse on Stochastic Partial Differential Equations (Lecture Notes in Mathematics)

A Minicourse on Stochastic Partial Differential Equations (Lecture Notes in Mathematics)
Read more